Towards a Compositional Approach to Define Graphical Animation of Software Applications

نویسندگان

  • Roswitha Bardohl
  • Leila Ribeiro
چکیده

The PLATUS simulation environment allows for a modular description of simulation models, clearly separating aspects of behavior, statistics and animation. Each component of a model in PLATUS has its own animation interface, that describes when and which messages will be sent to a corresponding animation module. The GENGED environment was originally developed for the visual definition of visual languages and the generation of language-specific graphical editors. Here we will extend GENGED in order to define several animation modules which can be connected via animation interfaces to PLATUS modules, allowing for a visual animation of the application being simulated.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Composing graphical user interfaces in a purely functional language

This thesis is about building interactive graphical user interfaces in a compositional manner. Graphical user interface applications hold out the promise of providing users with an interactive, graphical medium by which they can carry out tasks more eeectively and conveniently. The application aids the user to solve some task. Conceptually, the user is in charge of the graphical medium, control...

متن کامل

A Social Semiotic Analysis of Social Actors in English-Learning Software Applications

This study drew upon Kress and Van Leeuwen’s (2006, [1996]) visual grammar and Van Leeuwen’s (2008) social semiotic model to interrogate ways through which social actors of different races are visually and textually represented in four award-winning English-learning software packages.  The analysis was based on narrative actional/reactional processes at the ideational level; mood, perspective, ...

متن کامل

Refinement and Consistency of Timed Modal Specifications

In the application domain of component-based system design, developing theories which support compositional reasoning is notoriously challenging. We define timed modal specifications, an automata-based formalism combining modal and timed aspects. As a stepping stone to compositional approaches of timed systems, we define the notions of refinement and consistency, and establish their decidability.

متن کامل

Automatic Model Driven Animation of SCR Specifications

This paper introduces automatic model driven animation, a novel approach to validate requirements specifications. This approach, here applied to SCR specifications, is based on graphical animation. Automatic model driven animation consists in automatically deriving scenarios from requirements specifications; these scenarios are used to animate critical system behaviors through a graphical inter...

متن کامل

A new approach to define batch settling curves for analyzing the sedimentation characteristics

The results of batch settling tests (BST) are used to investigate settling behavior of solids suspension, which contribute to sizing thickeners. Conventional methods in analyzing BST on the basis of visual and graphical procedures lead to sub-optimally sized and selected thickeners. A computational approach based on quantitative analysis of BST can be beneficial. About 300 settling experiments ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001